Mathematical logic - PDFSEARCH.IO - Document Search Engine

Mathematical logic
Results: 6679

#	Item
471	FOUNDATIONAL AND MATHEMATICAL USES OF HIGHER TYPES ULRICH KOHLENBACH† DEDICATED TO SOLOMON FEFERMAN FOR HIS 70TH BIRTHDAY §1. Introduction. A central theme of proof theory is expressed by the following question: Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2012-11-12 10:34:29 Computability theory Proof theory Mathematical logic Metalogic Reverse mathematics Primitive recursive functional Second-order arithmetic Peano axioms Primitive recursive function Primitive recursive arithmetic Model theory Symbol
472	Intro NRA property Classification Add to Reading List Source URL: ludovicpatey.com Language: English - Date: 2013-09-23 05:15:00 Mathematical logic National Rifle Association Ordinal number Algorithm Politics Structure
473	Universit`a degli Studi di Udine Dipartimento di Matematica e Informatica Dottorato di Ricerca in Matematica e Fisica Ciclo XXVI Ph.D. Thesis Add to Reading List Source URL: www.math.tohoku.ac.jp Language: English - Date: 2015-03-23 21:49:40 Order theory Proof theory Mathematical logic Metalogic Equivalence of categories Linear extension Reverse mathematics Theorem
474	First Joint Meeting Brazil Italy of Mathematics Special Session: Mathematical Logic Rio de Janeiro, August 29 - September 02, 2016 Title: Euclidean numbers Authors: Vieri Benci (Universit`a di Pisa, Italy) Abstract: We p Add to Reading List Source URL: www.sbm.org.br - Date: 2016-03-03 13:50:17
475	Surreal Numbers – An Introduction Version 1.6 Claus Tøndering 18 September 2013 Add to Reading List Source URL: tondering.dk Language: English - Date: 2015-06-12 04:34:59 Mathematics Abstract algebra Algebra Infinity Mathematical logic Real closed field Combinatorial game theory Surreal number Real numbers Infinitesimal 0.999... FO
476	Game characterizations of function classes and Weihrauch degrees MSc Thesis (Afstudeerscriptie) written by Hugo de Holanda Cunha Nobrega (born September 5, 1987 in Petrópolis, Brazil) Add to Reading List Source URL: www.illc.uva.nl Language: English - Date: 2013-10-24 09:16:13 Mathematical logic Mathematics Set theory Descriptive set theory Wadge hierarchy Determinacy Axiom of countable choice Ordinal numbers -consistent theory Ordinal arithmetic
477	Caroline Haslett Computing Curriculum Progression (Autumn 1) Add to Reading List Source URL: swaygrantham.co.uk Language: English - Date: 2014-07-02 18:24:05 Theoretical computer science Computing Algorithm Mathematical logic Computer Academia Software Input/output Password Mathematics Quantum computing
478	JMLR: Workshop and Conference Proceedings vol 40:1–15, 2015 Optimally Combining Classifiers Using Unlabeled Data Akshay Balsubramani Yoav Freund Add to Reading List Source URL: jmlr.org Language: English - Date: 2015-07-20 20:08:35 Mathematical analysis Mathematics Logic Measure theory Metalogic Model theory Support vector machine Structure Sigma-algebra Indexed grammar
479	First Joint Meeting Brazil Italy of Mathematics Special Session: Mathematical Logic Rio de Janeiro, August 29 - September 02, 2016 Title: Towards Non-deterministic algebraic semantics Authors: Marcelo E. Coniglio (Univer Add to Reading List Source URL: www.sbm.org.br Language: English - Date: 2016-03-03 13:50:19
480	On weak Markov’s principle Ulrich Kohlenbach BRICS∗ Department of Computer Science University of Aarhus Ny Munkegade Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2012-11-12 10:34:17 Constructivism Mathematics Computability theory Mathematical logic Mathematical proofs Functions and mappings Abstraction Proof theory Realizability Constructive proof Primitive recursive function operator

UPDATE